$\forall$$A$, $B$:Type, $x$:($A$ + $B$). invert{-}union($x$) $\in$ ($B$ + $A$)